condition for completeness

[数] 完全性条件